decrypt(tab;kval)
== let k,x = kval
== in
== if isl(st-lookup(tab;x))
== then let key,data = outl(st-lookup(tab;x))
== then in
== then if st-key-match(tab;key;k) then inl data  else inr   fi 
== else inr  
== fi  

latex

Definitions	isl(x), let x,y = A in B(x;y), outl(x), st-lookup(tab;x), if b then t else f fi , st-key-match(tab;k1;k2), inl x , inr x ,
FDL editor aliases	st-decrypt